Higher-order function - PDFSEARCH.IO - Document Search Engine

Higher-order function
Results: 126

#	Item
11	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
12	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
13	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
14	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages Data types Object-oriented programming languages C++ Procedural programming languages OCaml Caml Const Tagged union Higher-order function C++ classes ALGOL 68
15	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
16	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:59:12 Functional programming Data types Control flow Eval Interpreter Syntax Abstract syntax Const Higher-order function Monad Programming language
17	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
18	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:19:01 Data types Type theory Functions and mappings Curves Enumerated type Technical University of Denmark Function Triangle Constructor Circle C++ classes Standard ML
19	Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme: Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-14 14:39:18 Lisp Lambda calculus Functional programming Data types Subroutines Scheme Anonymous function Cons Fexpr Maclisp Closure Eval
20	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class